Stelteorie

Taalgebruik moet nagegaan word: Die teks moet vir spelling, sinsbou en woordkeuse nagegaan word. Indien dit nie binne twee weke versorg word nie, mag dit vir verwydering kwalifiseer.

Stelteorie is 'n tak van wiskundige logika wat studies stelle, wat informeel is versamelings van voorwerpe. Hoewel enige soort voorwerp in 'n vasgestelde vorm versamel kan word, word die vasgestelde teorie dikwels toegepas op voorwerpe wat vir wiskunde betrokke is. Die taal van die stelteorie kan gebruik word om byna alle wiskundige onderwerpe te definieer.

Die moderne studie van gestelde teorie is geïnisieer deur Georg Cantor en Richard Dedesoort in die 1830s. Na die ontdekking van paradokse in naïewe stelteorie, soos Russell paradoks, talle aksiomstelsels is voorgestel in die vroeë twintigste eeu, waarvan die Zermelo–Fraenkel aksioms, met of sonder die aksiom van keuse, die bekendste is.

Stelteorie word algemeen gebruik as 'n grondslagstelsel vir wiskunde, veral in die vorm van Zermelo–Fraenkel stelteorie met die aksioma van keuse.^[1] Stelteorie is die grondslag van wiskunde. Alle wiskundige begrippe word gedefinieer in terme van die primitiewe opvattings van set en lidmaatskap. In aksiomatiese stelteorie formuleer ons 'n paar eenvoudige aksiomas oor hierdie primitiewe opvattings in 'n poging om die basiese "natuurlik waar" stelteoretiese beginsels te vang. Van sulke aksioms, kan alle bekende wiskunde afgelei word. Buiten sy fundamentele rol, is stelteorie 'n tak van wiskunde in sy eie reg, met 'n aktiewe navorsingsgemeenskap. Kontemporêre navorsing in die stelteorie sluit in 'n uiteenlopende versameling onderwerpe, wat wissel van die struktuur van die ware nommer lyn na die studie van die konsekwentheid van groot kardinaal.

1. ↑ Verwysingfout: Invalid <ref> tag; no text was provided for refs named Kunen